@article(
LMSS92, Author="Lincoln, P. and Mitchell, J. and Scedrov, A. and Shankar, N.",
        Title="Decision Problems for Propositional Linear Logic",
        Journal="Annals Pure Appl. Logic",
        Volume="56",
        Year="1992",
        pages="239-311",
        Note="Special Volume dedicated to the memory of John Myhill.
        Preliminary version appeared in 
        {\it Proc. 31st IEEE Symp. on Foundations of Computer Science", 1990,
	    662-671.")

		@inproceedings(
LMSS90, author="Lincoln, P. and Mitchell, J.C. and Scedrov, A. and Shankar, N.",
		Title="Decision Problems for Propositional Linear Logic",
		Booktitle="Proc. 31st IEEE Symp. on Foundations of Computer Science",
		pages="662-671",
		Year="1990")